Nuprl Definition : fpf-join-list
11,40
postcript
pdf
(
L
) == reduce(
f
,
g
.
f
g
;
;
L
)
latex
clarification:
fpf-join-list(
eq
;
L
) == reduce(
f
,
g
. fpf-join(
eq
;
f
;
g
);
;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
f
g
,
FDL editor aliases
fpf-join-list
origin
(L) == reduce(
f,g. f g;
;L)
f,g. fpf-join(eq;f;g);;L) (L) == reduce(f,g. f g;;L)
f,g. fpf-join(eq;f;g);;L) x.A(x) g